Automatic generation produced by ISE Eiffel
class
DISPLAY_SORTED_DIALOG
General
cluster: root_cluster
description: "Objects that display a sorted collection of mp3-files"
create: default_create
Ancestors
EV_DIALOG
Action sequences
conforming_pick_actions: EV_NOTIFY_ACTION_SEQUENCE -- (from EV_PICK_AND_DROPABLE_ACTION_SEQUENCES)
dock_ended_actions: EV_NOTIFY_ACTION_SEQUENCE -- (from EV_DOCKABLE_SOURCE_ACTION_SEQUENCES)
dock_started_actions: EV_NOTIFY_ACTION_SEQUENCE -- (from EV_DOCKABLE_SOURCE_ACTION_SEQUENCES)
docked_actions: EV_DOCKABLE_SOURCE_ACTION_SEQUENCE -- (from EV_DOCKABLE_TARGET_ACTION_SEQUENCES)
drop_actions: EV_PND_ACTION_SEQUENCE -- (from EV_PICK_AND_DROPABLE_ACTION_SEQUENCES)
focus_in_actions: EV_NOTIFY_ACTION_SEQUENCE -- (from EV_WIDGET_ACTION_SEQUENCES)
focus_out_actions: EV_NOTIFY_ACTION_SEQUENCE -- (from EV_WIDGET_ACTION_SEQUENCES)
key_press_actions: EV_KEY_ACTION_SEQUENCE -- (from EV_WIDGET_ACTION_SEQUENCES)
key_press_string_actions: EV_KEY_STRING_ACTION_SEQUENCE -- (from EV_WIDGET_ACTION_SEQUENCES)
key_release_actions: EV_KEY_ACTION_SEQUENCE -- (from EV_WIDGET_ACTION_SEQUENCES)
maximize_actions: EV_NOTIFY_ACTION_SEQUENCE -- (from EV_TITLED_WINDOW_ACTION_SEQUENCES)
minimize_actions: EV_NOTIFY_ACTION_SEQUENCE -- (from EV_TITLED_WINDOW_ACTION_SEQUENCES)
mouse_wheel_actions: EV_INTEGER_ACTION_SEQUENCE -- (from EV_WIDGET_ACTION_SEQUENCES)
move_actions: EV_GEOMETRY_ACTION_SEQUENCE -- (from EV_WINDOW_ACTION_SEQUENCES)
pick_actions: EV_PND_START_ACTION_SEQUENCE -- (from EV_PICK_AND_DROPABLE_ACTION_SEQUENCES)
pick_ended_actions: EV_PND_FINISHED_ACTION_SEQUENCE -- (from EV_PICK_AND_DROPABLE_ACTION_SEQUENCES)
pointer_button_press_actions: EV_POINTER_BUTTON_ACTION_SEQUENCE -- (from EV_WIDGET_ACTION_SEQUENCES)
pointer_button_release_actions: EV_POINTER_BUTTON_ACTION_SEQUENCE -- (from EV_WIDGET_ACTION_SEQUENCES)
pointer_double_press_actions: EV_POINTER_BUTTON_ACTION_SEQUENCE -- (from EV_WIDGET_ACTION_SEQUENCES)
pointer_enter_actions: EV_NOTIFY_ACTION_SEQUENCE -- (from EV_WIDGET_ACTION_SEQUENCES)
pointer_leave_actions: EV_NOTIFY_ACTION_SEQUENCE -- (from EV_WIDGET_ACTION_SEQUENCES)
pointer_motion_actions: EV_POINTER_MOTION_ACTION_SEQUENCE -- (from EV_WIDGET_ACTION_SEQUENCES)
resize_actions: EV_GEOMETRY_ACTION_SEQUENCE -- (from EV_WIDGET_ACTION_SEQUENCES)
restore_actions: EV_NOTIFY_ACTION_SEQUENCE -- (from EV_TITLED_WINDOW_ACTION_SEQUENCES)
show_actions: EV_NOTIFY_ACTION_SEQUENCE -- (from EV_WINDOW_ACTION_SEQUENCES)
Queries
accelerators: EV_ACCELERATOR_LIST -- (from EV_TITLED_WINDOW)
accept_cursor: EV_CURSOR -- (from EV_PICK_AND_DROPABLE)
actual_drop_target_agent: FUNCTION [ANY, TUPLE [INTEGER, INTEGER], EV_ABSTRACT_PICK_AND_DROPABLE] -- (from EV_WIDGET)
background_color: EV_COLOR -- (from EV_COLORIZABLE)
background_pixmap: EV_PIXMAP -- (from EV_CONTAINER)
blocking_window: EV_WINDOW -- (from EV_DIALOG)
client_height: INTEGER -- (from EV_CONTAINER)
client_width: INTEGER -- (from EV_CONTAINER)
count: INTEGER -- (from EV_CELL)
data: ANY -- (from EV_ANY)
default_cancel_button: EV_BUTTON -- (from EV_DIALOG)
default_push_button: EV_BUTTON -- (from EV_DIALOG)
deny_cursor: EV_CURSOR -- (from EV_PICK_AND_DROPABLE)
directories: LIST [MP3_DIRECTORY [MP3_FILE]]
extendible: BOOLEAN -- (from EV_CELL)
foreground_color: EV_COLOR -- (from EV_COLORIZABLE)
full: BOOLEAN -- (from EV_CELL)
has (v: EV_WIDGET): BOOLEAN -- (from EV_WINDOW)
has_capture: BOOLEAN -- (from EV_WIDGET)
has_focus: BOOLEAN -- (from EV_WIDGET)
has_recursive (an_item: [like item] EV_WIDGET): BOOLEAN -- (from EV_CONTAINER)
height: INTEGER -- (from EV_POSITIONED)
help_context: FUNCTION [ANY, TUPLE, EV_HELP_CONTEXT] -- (from EV_HELP_CONTEXTABLE)
icon_name: STRING -- (from EV_TITLED_WINDOW)
icon_pixmap: EV_PIXMAP -- (from EV_TITLED_WINDOW)
id_freed: BOOLEAN -- (from IDENTIFIED)
id_object (an_id: INTEGER): IDENTIFIED -- (from IDENTIFIED)
is_destroyed: BOOLEAN -- (from EV_ANY)
is_displayed: BOOLEAN -- (from EV_WIDGET)
is_dockable: BOOLEAN -- (from EV_DOCKABLE_SOURCE)
is_docking_enabled: BOOLEAN -- (from EV_DOCKABLE_TARGET)
is_empty: BOOLEAN -- (from EV_CELL)
is_external_docking_enabled: BOOLEAN -- (from EV_DOCKABLE_SOURCE)
is_external_docking_relative: BOOLEAN -- (from EV_DOCKABLE_SOURCE)
is_inserted (v: EV_WIDGET): BOOLEAN -- (from COLLECTION)
is_maximized: BOOLEAN -- (from EV_TITLED_WINDOW)
is_minimized: BOOLEAN -- (from EV_TITLED_WINDOW)
is_modal: BOOLEAN -- (from EV_DIALOG)
is_parent_recursive (a_widget: EV_WIDGET): BOOLEAN -- (from EV_CONTAINER)
is_relative: BOOLEAN -- (from EV_DIALOG)
is_save: BOOLEAN
is_sensitive: BOOLEAN -- (from EV_SENSITIVE)
is_show_requested: BOOLEAN -- (from EV_WIDGET)
item: EV_WIDGET -- (from EV_CONTAINER)
linear_representation: LINEAR [[like item] EV_WIDGET] -- (from EV_CELL)
lower_bar: EV_VERTICAL_BOX -- (from EV_WINDOW)
Maximum_dimension: INTEGER -- (from EV_WINDOW)
maximum_height: INTEGER -- (from EV_WINDOW)
maximum_width: INTEGER -- (from EV_WINDOW)
may_contain (v: EV_WIDGET): BOOLEAN -- (from EV_CONTAINER)
menu_bar: EV_MENU_BAR -- (from EV_WINDOW)
merged_radio_button_groups: ARRAYED_LIST [EV_CONTAINER] -- (from EV_CONTAINER)
minimum_height: INTEGER -- (from EV_POSITIONED)
minimum_width: INTEGER -- (from EV_POSITIONED)
mode_is_drag_and_drop: BOOLEAN -- (from EV_PICK_AND_DROPABLE)
mode_is_pick_and_drop: BOOLEAN -- (from EV_PICK_AND_DROPABLE)
mode_is_target_menu: BOOLEAN -- (from EV_PICK_AND_DROPABLE)
object_id: INTEGER -- (from IDENTIFIED)
output: STRING
parent: EV_CONTAINER -- (from EV_WIDGET)
parent_of_source_allows_docking: BOOLEAN -- (from EV_DOCKABLE_SOURCE)
pebble: ANY -- (from EV_PICK_AND_DROPABLE)
pebble_function: FUNCTION [ANY, TUPLE, ANY] -- (from EV_PICK_AND_DROPABLE)
pebble_positioning_enabled: BOOLEAN -- (from EV_PICK_AND_DROPABLE)
pebble_x_position: INTEGER -- (from EV_PICK_AND_DROPABLE)
pebble_y_position: INTEGER -- (from EV_PICK_AND_DROPABLE)
pointer_position: EV_COORDINATE -- (from EV_WIDGET)
pointer_style: EV_CURSOR -- (from EV_WIDGET)
prunable: BOOLEAN -- (from EV_CELL)
readable: BOOLEAN -- (from EV_CELL)
real_source: EV_DOCKABLE_SOURCE -- (from EV_DOCKABLE_SOURCE)
real_target: EV_DOCKABLE_TARGET -- (from EV_WIDGET)
screen_x: INTEGER -- (from EV_WIDGET)
screen_y: INTEGER -- (from EV_WIDGET)
source_has_current_recursive (source: EV_DOCKABLE_SOURCE): BOOLEAN -- (from EV_DOCKABLE_SOURCE)
target_name: STRING -- (from EV_ABSTRACT_PICK_AND_DROPABLE)
title: STRING -- (from EV_WINDOW)
upper_bar: EV_VERTICAL_BOX -- (from EV_WINDOW)
user_can_resize: BOOLEAN -- (from EV_WINDOW)
veto_dock_function: FUNCTION [ANY, TUPLE [EV_DOCKABLE_SOURCE], BOOLEAN] -- (from EV_DOCKABLE_TARGET)
width: INTEGER -- (from EV_POSITIONED)
writable: BOOLEAN -- (from EV_CELL)
x_position: INTEGER -- (from EV_POSITIONED)
y_position: INTEGER -- (from EV_POSITIONED)
Commands
center_pointer -- (from EV_WIDGET)
copy (other: [like Current] DISPLAY_SORTED_DIALOG) -- (from EV_ANY)
destroy -- (from EV_ANY)
dialog_key_press_action (a_key: EV_KEY) -- (from EV_DIALOG)
disable_capture -- (from EV_WIDGET)
disable_dockable -- (from EV_DOCKABLE_SOURCE)
disable_docking -- (from EV_DOCKABLE_TARGET)
disable_external_docking -- (from EV_DOCKABLE_SOURCE)
disable_external_docking_relative -- (from EV_DOCKABLE_SOURCE)
disable_pebble_positioning -- (from EV_PICK_AND_DROPABLE)
disable_sensitive -- (from EV_SENSITIVE)
disable_user_resize -- (from EV_WINDOW)
enable_capture -- (from EV_WIDGET)
enable_dockable -- (from EV_DOCKABLE_SOURCE)
enable_docking -- (from EV_DOCKABLE_TARGET)
enable_external_docking -- (from EV_DOCKABLE_SOURCE)
enable_external_docking_relative -- (from EV_DOCKABLE_SOURCE)
enable_pebble_positioning -- (from EV_PICK_AND_DROPABLE)
enable_sensitive -- (from EV_SENSITIVE)
enable_user_resize -- (from EV_WINDOW)
extend (v: [like item] EV_WIDGET) -- (from EV_CONTAINER)
fill (other: CONTAINER [EV_WIDGET]) -- (from COLLECTION)
free_id -- (from IDENTIFIED)
hide -- (from EV_WIDGET)
initialize
lock_update -- (from EV_WINDOW)
lower -- (from EV_TITLED_WINDOW)
maximize -- (from EV_TITLED_WINDOW)
merge_radio_button_groups (other: EV_CONTAINER) -- (from EV_CONTAINER)
minimize -- (from EV_TITLED_WINDOW)
propagate_background_color -- (from EV_CONTAINER)
propagate_foreground_color -- (from EV_CONTAINER)
prune (v: EV_WIDGET) -- (from EV_CELL)
prune_all (v: EV_WIDGET) -- (from COLLECTION)
put (v: [like item] EV_WIDGET) -- (from EV_CONTAINER)
raise -- (from EV_TITLED_WINDOW)
remove_background_pixmap -- (from EV_PIXMAPABLE)
remove_default_cancel_button -- (from EV_DIALOG)
remove_default_push_button -- (from EV_DIALOG)
remove_help_context -- (from EV_HELP_CONTEXTABLE)
remove_icon_name -- (from EV_TITLED_WINDOW)
remove_menu_bar -- (from EV_WINDOW)
remove_pebble -- (from EV_PICK_AND_DROPABLE)
remove_real_source -- (from EV_DOCKABLE_SOURCE)
remove_real_target -- (from EV_WIDGET)
remove_title -- (from EV_WINDOW)
replace (v: [like item] EV_WIDGET) -- (from EV_CONTAINER)
restore -- (from EV_TITLED_WINDOW)
set_accept_cursor (a_cursor: EV_CURSOR) -- (from EV_PICK_AND_DROPABLE)
set_actual_drop_target_agent (an_agent: [like actual_drop_target_agent] FUNCTION [ANY, TUPLE [INTEGER, INTEGER], EV_ABSTRACT_PICK_AND_DROPABLE]) -- (from EV_WIDGET)
set_background_color (a_color: [like background_color] EV_COLOR) -- (from EV_COLORIZABLE)
set_background_pixmap (a_pixmap: EV_PIXMAP) -- (from EV_PIXMAPABLE)
set_data (some_data: [like data] ANY) -- (from EV_ANY)
set_default_cancel_button (a_button: EV_BUTTON) -- (from EV_DIALOG)
set_default_colors -- (from EV_COLORIZABLE)
set_default_push_button (a_button: EV_BUTTON) -- (from EV_DIALOG)
set_deny_cursor (a_cursor: EV_CURSOR) -- (from EV_PICK_AND_DROPABLE)
set_directories_and_output (a_list: LIST [MP3_DIRECTORY [MP3_FILE]]; a_output: STRING)
set_drag_and_drop_mode -- (from EV_PICK_AND_DROPABLE)
set_focus -- (from EV_WIDGET)
set_foreground_color (a_color: [like foreground_color] EV_COLOR) -- (from EV_COLORIZABLE)
set_height (a_height: INTEGER) -- (from EV_POSITIONABLE)
set_help_context (an_help_context: [like help_context] FUNCTION [ANY, TUPLE, EV_HELP_CONTEXT]) -- (from EV_HELP_CONTEXTABLE)
set_icon_name (an_icon_name: STRING) -- (from EV_TITLED_WINDOW)
set_icon_pixmap (an_icon: EV_PIXMAP) -- (from EV_TITLED_WINDOW)
set_maximum_height (a_maximum_height: INTEGER) -- (from EV_WINDOW)
set_maximum_size (a_maximum_width, a_maximum_height: INTEGER) -- (from EV_WINDOW)
set_maximum_width (a_maximum_width: INTEGER) -- (from EV_WINDOW)
set_menu_bar (a_menu_bar: EV_MENU_BAR) -- (from EV_WINDOW)
set_minimum_height (a_minimum_height: INTEGER) -- (from EV_WIDGET)
set_minimum_size (a_minimum_width, a_minimum_height: INTEGER) -- (from EV_WIDGET)
set_minimum_width (a_minimum_width: INTEGER) -- (from EV_WIDGET)
set_pebble (a_pebble: [like pebble] ANY) -- (from EV_PICK_AND_DROPABLE)
set_pebble_function (a_function: FUNCTION [ANY, TUPLE, ANY]) -- (from EV_PICK_AND_DROPABLE)
set_pebble_position (a_x, a_y: INTEGER) -- (from EV_PICK_AND_DROPABLE)
set_pick_and_drop_mode -- (from EV_PICK_AND_DROPABLE)
set_pointer_style (a_cursor: [like pointer_style] EV_CURSOR) -- (from EV_WIDGET)
set_position (a_x, a_y: INTEGER) -- (from EV_POSITIONABLE)
set_real_source (dockable_source: EV_DOCKABLE_SOURCE) -- (from EV_DOCKABLE_SOURCE)
set_real_target (a_target: EV_DOCKABLE_TARGET) -- (from EV_WIDGET)
set_size (a_width, a_height: INTEGER) -- (from EV_POSITIONABLE)
set_target_menu_mode -- (from EV_PICK_AND_DROPABLE)
set_target_name (a_name: STRING) -- (from EV_ABSTRACT_PICK_AND_DROPABLE)
set_title (a_title: STRING) -- (from EV_WINDOW)
set_veto_dock_function (a_function: FUNCTION [ANY, TUPLE [EV_DOCKABLE_SOURCE], BOOLEAN]) -- (from EV_DOCKABLE_TARGET)
set_width (a_width: INTEGER) -- (from EV_POSITIONABLE)
set_x_position (a_x: INTEGER) -- (from EV_POSITIONABLE)
set_y_position (a_y: INTEGER) -- (from EV_POSITIONABLE)
show -- (from EV_WIDGET)
show_modal_to_window (a_window: EV_WINDOW) -- (from EV_DIALOG)
show_relative_to_window (a_window: EV_WINDOW) -- (from EV_DIALOG)
unlock_update -- (from EV_WINDOW)
unmerge_radio_button_groups (other: EV_CONTAINER) -- (from EV_CONTAINER)
wipe_out -- (from EV_CELL)
-- Generated by ISE Eiffel --
For more details: www.eiffel.com